Formation du corps des enseignant-e-s du primaire selon une logique de ségrégation : une approche socio-historique.

Vers une approche unifiée du filtrage des images

This paper proposes to show that the particular fuzzy extension, based on level cuts, of the mathematical morphology coincide with a non-additive extension of the classical approach for filtering based on convolution.

Sur une souche de Pasteurella agent d'abcès enzootiques du lapin

Problématique de la prise en charge des cancers du sein au Sénégal: une approche transversale

Résumé L’heure où les thérapeutiques innovantes se multiplient dans le cancer du sein, des pays moins nantis comme le Sénégal accusent encore un retard considérable dans la prise en charge globale de ce type de cancer. Au Sénégal, même si la prise en charge des cancers du sein avancés est actuellement bien codifiée, les résultats en terme de survie et de morbidités sont encore médiocres vu les ...

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...

Une generalisation du theoreme de Kobayashi-Ochiai